Formalising Composition Oriented Programming
نویسندگان
چکیده
We present a snapshot of work in progress to define a formal model of the composition technology which underpins Subject-oriented and Aspectoriented programming.
منابع مشابه
Session and Union Types for Object Oriented Programming
In network applications it is crucial to have a mechanism to guarantee that communications evolve correctly according to the agreed protocol. Session types offer a method for abstracting and validating structured communication sequences (sessions). In this paper we propose union types for refining and enhancing the flexibility of session types in the context of communication centred and object ...
متن کاملAutomatic Composition of Melodic and Harmonic Music by Answer Set Programming
The composition of most styles of music is governed by rules. The natural statement of these rules is declarative (“The highest and lowest notes in a piece must be separated by a consonant interval”) and non deterministic (“The base note of a key can be followed by any note in the key”). We show that by approaching the automation and analysis of composition as a knowledge representation task an...
متن کاملAutomatic music composition using answer set programming
Music composition used to be a pen and paper activity. These these days music is often composed with the aid of computer software, even to the point where the computer compose parts of the score autonomously. The composition of most styles of music is governed by rules. We show that by approaching the automation, analysis and verification of composition as a knowledge representation task and fo...
متن کاملApplying aspect-oriented programming ideas in a component based context: Composition Adapters
Aspect-oriented programming (AOP) is a new programming methodology that enables the modularization of crosscutting concerns. Until now, the emphasis of AOP research lays on being able to modularize these concerns in an object-oriented context. However, the same problem also applies to the component based software engineering domain. In this paper we propose a solution, namely composition adapte...
متن کاملFormalising Behaviour Preserving Program Transformations
The notion of refactoring —transforming the source-code of an objectoriented program without changing its external behaviour— has increased the need for a precise definition of refactorings and their properties. This paper introduces a graph representation of those aspects of the source code that should be preserved by a refactoring, and graph rewriting rules as a formal specification for the r...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1999